Programming languages
プログラミング言語Egison
Gleam
Dark
Idris: A Language for Type-Driven Development
Home ⚡ Zig Programming Language
koka-lang/koka: Koka language compiler and interpreter
The V Programming Language
Ante
carbon-language/carbon-lang: Carbon Language's main repository: documents, design, implementation, and related tools. (NOTE: Carbon Language is experimental; see README)
goby-lang/goby: Goby - Yet another programming language written in Go